Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
prolog
1
functional programming
1 ?
 21,213,375 websites (safe search)

  1. Axiomatic Language Home Page

    A minimal, pure specification logic programming language with meta-language capability.
    LISP1
    Prolog1
    functional programming1
    formal methods1
    logic programming1
    meta-language1
    meta-programming1
    software specification1
    axiomatic language0
    higher-order logic0
    HiLog0

    www.axiomaticlanguage.org - 2009-02-07

java4 developers2 development5 c++3 html4 php5 autocad2 rails2 .net3 ruby2 lisp1 emerald2 open source4 cad3 j2ee2 projects3

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.